Closed category - PDFSEARCH.IO - Document Search Engine

Closed category
Results: 176

#	Item
51	Temporal logic and FRP Intuitionistic S4 categories Temporal categories Add to Reading List Source URL: www.ioc.ee Language: English - Date: 2012-07-10 13:09:46 Declarative programming Monad Categorical logic Temporal logic Modal logic Cartesian closed category Adjoint functors Logic Mathematics
52	Reprints in Theory and Applications of Categories, No. 15, 2006, pp. 1–13. DIAGONAL ARGUMENTS AND CARTESIAN CLOSED CATEGORIES F. WILLIAM LAWVERE Add to Reading List Source URL: emis.library.cornell.edu Language: English - Date: 2006-02-24 14:27:12 Functors Sheaf theory Adjoint functors Cartesian closed category Topos Exponential object Hom functor Yoneda lemma Diagonal functor Category theory Mathematics Abstract algebra
53	Chu spaces as a semantic bridge between linear logic and mathematics Vaughan Pratt ∗ Dept. of Computer Science Stanford University Stanford, CA[removed] Add to Reading List Source URL: boole.stanford.edu Language: English - Date: 2004-07-27 11:43:04 Category theory Model theory Order theory Monoidal categories Chu space Cartesian closed category Functor Adjoint functors Denotational semantics Mathematics Algebra Abstract algebra
54	Orthocurrence as both Interaction and Observation Vaughan R. Pratt Stanford University and Tiqit Computers January 9, 2005 Abstract Add to Reading List Source URL: boole.stanford.edu Language: English - Date: 2005-01-09 13:06:07 Abstract algebra Mathematical structures Topology Multilinear algebra Tensor Vector space Chu space Bilinear map Cartesian closed category Algebra Mathematics Linear algebra
55	Closed Sanction Cases Covering the Period 2006 to date 2014 SPONSOR NAME CATEGORY Add to Reading List Source URL: j1visa.state.gov Language: English - Date: 2014-12-04 10:04:10 Au pair Domestic work SEVIS Letter of reprimand J-1 visa Student exchange program Academia Culture Education
56	New York State Division of Criminal Justice Services Office of Probation and Correctional Alternatives Probation Cases Closed by Conviction Offense Statewide January 1, 2011 to December 31, 2011 CONVICTION CATEGORY Add to Reading List Source URL: criminaljustice.state.ny.us Language: English - Date: 2012-02-29 13:50:54 Ethics Probation Burglary Felony Arson Crime Larceny Criminal law Law Crimes
57	New York State Division of Criminal Justice Services Office of Probation and Correctional Alternatives Probation Cases Closed by Conviction Offense Statewide January 1, 2011 to December 31, 2011 CONVICTION CATEGORY Add to Reading List Source URL: www.criminaljustice.ny.gov Language: English - Date: 2012-02-29 13:50:54 Ethics Probation Burglary Felony Arson Crime Larceny Criminal law Law Crimes
58	Service Name: Maine.gov Media Gallery http://media.maine.gov Category: Digital Government - Government to Citizen (G to C) State: Maine Executive Summary: Add to Reading List Source URL: www.nascio.org Language: English - Date: 2010-06-02 23:25:48 Web accessibility Subtitling Transcription Assistive technology Closed captioning Deafness Streaming media Section 508 Amendment to the Rehabilitation Act Accessibility Design Visual arts Technology
59	SL-19d Density of GLSP Closed Cases[removed]Legal Category - Family Description Density per square mile of Closed Cases with legal problem category of Family Add to Reading List Source URL: oig.lsc.gov Language: English - Date: 2002-08-30 12:42:41 Shapefile Choropleth map Field
60	Density of ALAS Closed Cases[removed]Legal Category - Housing Gwinnett County %&k( Add to Reading List Source URL: oig.lsc.gov Language: English - Date: 2002-07-25 12:11:04 Gwinnett County Georgia Lawrenceville Georgia Snellville Georgia Georgia State Route 124 Geography of Georgia Atlanta metropolitan area Georgia

UPDATE